Concurrent programming languages

Results: 336



#Item
31Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA Apr

Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA Apr

Add to Reading List

Source URL: heim.ifi.uio.no

Language: English - Date: 2016-05-04 09:09:45
32Technical Report Nr. TUD-CSFeb. 5th, 2015 Harvesting Runtime Data in Android Applications for Identifying Malware and

Technical Report Nr. TUD-CSFeb. 5th, 2015 Harvesting Runtime Data in Android Applications for Identifying Malware and

Add to Reading List

Source URL: www.bodden.de

Language: English - Date: 2015-02-10 01:12:58
33Dynamically Loaded Classes as Shared Libraries: an Approach to Improving Virtual Machine Scalability Bernard Wong University of Waterloo 200 University Avenue W. Waterloo, Ontario N2L 3G1, Canada

Dynamically Loaded Classes as Shared Libraries: an Approach to Improving Virtual Machine Scalability Bernard Wong University of Waterloo 200 University Avenue W. Waterloo, Ontario N2L 3G1, Canada

Add to Reading List

Source URL: cs.uwaterloo.ca

Language: English - Date: 2011-08-04 20:21:16
34Programmazione di sistemi multicore A.ALECTURE 7 IRENE FINOCCHI

Programmazione di sistemi multicore A.ALECTURE 7 IRENE FINOCCHI

Add to Reading List

Source URL: twiki.di.uniroma1.it

Language: English - Date: 2015-10-12 06:03:05
35MONFISPOL Grant no.: DeliverableBeta-version of parallel routines: user manual. Marco Ratto, European Commission, Joint Research Centre Ivano Azzini, Houtan Bastani, Sebastien Villemot, DYNARE Team July 8,

MONFISPOL Grant no.: DeliverableBeta-version of parallel routines: user manual. Marco Ratto, European Commission, Joint Research Centre Ivano Azzini, Houtan Bastani, Sebastien Villemot, DYNARE Team July 8,

Add to Reading List

Source URL: www.monfispol.eu

Language: English - Date: 2011-11-16 08:02:14
36State of Rust 2016 Alex Crichton Rust is one year old! • •

State of Rust 2016 Alex Crichton Rust is one year old! • •

Add to Reading List

Source URL: rustaceans.cologne

Language: English - Date: 2016-08-17 10:30:30
37University of Southern Illinois Carbondale Department of Computer Science Programming with Data Structures using Java – CS220/491 Spring 2016 Course Objectives: 

University of Southern Illinois Carbondale Department of Computer Science Programming with Data Structures using Java – CS220/491 Spring 2016 Course Objectives: 

Add to Reading List

Source URL: www.cs.siu.edu

Language: English - Date: 2016-01-25 00:01:15
38TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract

TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
39Advances in Programming Languages APL13: Concurrency Abstractions David Aspinall School of Informatics The University of Edinburgh

Advances in Programming Languages APL13: Concurrency Abstractions David Aspinall School of Informatics The University of Edinburgh

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2010-02-22 15:21:26
40Buy a Feature Adventure in Immutability and Actors David Pollak CUFP September 26th, 2008

Buy a Feature Adventure in Immutability and Actors David Pollak CUFP September 26th, 2008

Add to Reading List

Source URL: cufp.org

Language: English - Date: 2014-05-11 14:35:47